Termination checking mutual block MutId 0
Issue3590-1.agda:23,7-10
Set₁ != Set
when checking that the expression Set has type Set
